Merge pull request #1591 from jts-arm/cov1
authorSoby Mathew <[email protected]>
Wed, 3 Oct 2018 10:21:02 +0000 (11:21 +0100)
committerGitHub <[email protected]>
Wed, 3 Oct 2018 10:21:02 +0000 (11:21 +0100)
Fix static analysis defects


Trivial merge